Mathematical basis for polySAT implication operator
نویسنده
چکیده
The mathematical basis motivating the “implication operator” of the polySAT algorithm and its function is examined. Such is not undertaken with onerous rigor of symbolic mathematics; a more intuitive visual appeal being employed to present some of the mathematical premises underlying function of the implication operator. KEY TERMS — Algorithms, complexity, computation theory, satisfiability, group theory, field theory, set theory.
منابع مشابه
On duality of modular G-Riesz bases and G-Riesz bases in Hilbert C*-modules
In this paper, we investigate duality of modular g-Riesz bases and g-Riesz bases in Hilbert C*-modules. First we give some characterization of g-Riesz bases in Hilbert C*-modules, by using properties of operator theory. Next, we characterize the duals of a given g-Riesz basis in Hilbert C*-module. In addition, we obtain sufficient and necessary condition for a dual of a g-Riesz basis to be agai...
متن کاملSome relationship between G-frames and frames
In this paper we proved that every g-Riesz basis for Hilbert space $H$ with respect to $K$ by adding a condition is a Riesz basis for Hilbert $B(K)$-module $B(H,K)$. This is an extension of [A. Askarizadeh, M. A. Dehghan, {em G-frames as special frames}, Turk. J. Math., 35, (2011) 1-11]. Also, we derived similar results for g-orthonormal and orthogonal bases. Some relationships between dual fra...
متن کاملOperator-valued bases on Hilbert spaces
In this paper we develop a natural generalization of Schauder basis theory, we term operator-valued basis or simply ov-basis theory, using operator-algebraic methods. We prove several results for ov-basis concerning duality, orthogonality, biorthogonality and minimality. We prove that the operators of a dual ov-basis are continuous. We also dene the concepts of Bessel, Hilbert ov-basis and obta...
متن کاملBi-implication Operator on Intuitionistic Fuzzy Set
Atanassov K. , Intuitionistic Fuzzy Sets. , VII ITKR's Section, Sofia, June 1983. Hashimoto H. , Sub-inverses of fuzzy Matrices, Fuzzy Sets and Systems, Vol. 12(1984),155-168. Murugadas P and Lalitha K. , Dual Implication Operator in Intuitionistic Fuzzy Matrices, International conference on Mathematical Modelling and its Application-2012. Sriram S and Murugadas P. , Sub-inverses of Intuit...
متن کاملA matrix LSQR algorithm for solving constrained linear operator equations
In this work, an iterative method based on a matrix form of LSQR algorithm is constructed for solving the linear operator equation $mathcal{A}(X)=B$ and the minimum Frobenius norm residual problem $||mathcal{A}(X)-B||_F$ where $Xin mathcal{S}:={Xin textsf{R}^{ntimes n}~|~X=mathcal{G}(X)}$, $mathcal{F}$ is the linear operator from $textsf{R}^{ntimes n}$ onto $textsf{R}^{rtimes s}$, $ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره cs.CC/0208026 شماره
صفحات -
تاریخ انتشار 2002